FUNCTION
nei Principia;

S. K. Langer. p.319 n.

 

 

1

la forma proposizionale quantificata (x).F x, che è chiamata "funzione proposizionale" .

(x).F x è una proposizione generale quando F ha un significato specifico.

(x).F x è la forma di una proposizione generale quando F significa "una qualche funzione data" ("a given function"). Nei Principia è chiamata funzione proposizionale di "variabile apparente" ("termine generale").

2.

 

 

 

 

 

means: "propositional function" applied to a function of propositions; and "elementary propositional function" (a function which takes only elementary propositons for its arguments)

"p is true", "p is false", "p is incredible", "p implies that q is impossible" sono funzioni della proposizione elementare p. In questo senso ~ p è una funzione di p (anch'essa elementare)

3.

la forma proposizionale F x, ossia la "funzione proposizionale" che ha x per argomento.

 

4.

a part of every elementary proposition or propositional form is a function of individual (individuals). [The other part is the argument]

In questo caso [in riferimento alla F di F x] Russell parla semplicemente di funzione (e non di funzione proposizionale)

5.

funzione